Essence and Secondary Object-support-condition:
نویسندگان
چکیده
منابع مشابه
The Essence of Dependent Object Types
Focusing on path-dependent types, the paper develops foundations for Scala from first principles. Starting from a simple calculus D<: of dependent functions, it adds records, intersections and recursion to arrive at DOT, a calculus for dependent object types. The paper shows an encoding of System F with subtyping in D<: and demonstrates the expressiveness of DOT by modeling a range of Scala con...
متن کاملNegative Variables and the Essence of Object-Oriented Programming
Reasoning about object-oriented programs requires an appropriate technique to reflect a fundamental “general relativity” property of the approach: every operation is relative to a current object, which changes with every qualified call; such a call needs access to the context of the client object. The notion of negative variable, discussed in this article, provides a framework for reasoning abo...
متن کاملThe Essence of Object-Based Embedded Domain-Specific Languages
Embedded domain-specific languages (EDSLs) provide targeted language support for writing programs in a particular application domain while sharing syntax with the host language. In this paper, we study what we call object-based embedded DSLs (OOEDSLs), which are popular in the Ruby community but have received little attention in the research literature. The key idea of OOEDSLs is to implement l...
متن کاملThe Essence of Object Orientation for CS0: Concepts without Code
Why is object-orientation so popular? Is it a fad or is there real value to developing software systems the object-oriented way? Given the emerging prevalence of computational thinking across the disciplines these are questions that a wide range of students are curious about. This paper describes our approach to providing a conceptual overview in a CS0 context of the essential ideas of and the ...
متن کاملرابطه وجود و ماهیت در رساله "on being and essence"
هدف عمده ای که من در رساله خود تعقیب می کنم بررسی رابطه وجود و ماهیت از نظر توماس آکوئینی در رساله معروف خود تحت همین نام، است، که نام لاتین آن de ente et essentia می باشد و ترجمه انگلیسی آن تحت عنوان "on being and essence" است که ترجمه معمول آن به فارسی ((وجود و ماهیت)) می باشد. البته بهترین ترجمه فارسی واژه ente، ((موجودیت)) است ولی ما مطابق رسم آنرا رساله ((درباره وجود و ماهیت)) ...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Indian and Buddhist Studies (Indogaku Bukkyogaku Kenkyu)
سال: 2011
ISSN: 0019-4344,1884-0051
DOI: 10.4259/ibk.60.1_455